fixpoint theory of program

程序不动点理论

热门查询

nab　　vt. 捉住，逮捕；抢夺 n. (Nab)人名；(阿富)纳卜；(英)纳布
ist　　abbr. 胰岛素休克疗法（insulin shock therapy）；星际航行（Interplanetary Space Travel）；独立悬挂减震系统（Independent Suspension Technology）
flashlight　　n. 手电筒；闪光灯
deftness　　n. 熟练；灵巧；敏捷
muddy　　adj. 泥泞的；模糊的；混乱的 vt. 使污浊；使沾上泥；把…弄糊涂 vi. 变得泥泞；沾满烂泥
racquet　　n. 球拍；网拍式墙球
photosynthetic　　adj. [生化] 光合的；光合作用的
hypothyroid　　n. 甲状腺；甲状腺功能减退者 adj. 甲状腺机能减退的
flabbergasted　　v. 使…大吃一惊（flabbergast的过去式） adj. 目瞪口呆的；大吃一惊的
quibbling　　n. 诡辩；找碴子；吹毛求疵 v. 推托；说模棱两可的话（quibble的ing形式） adj. 吹毛求疵的
lax　　n. 松元音；泻肚 adj. 松的；松懈的；腹泻的 n. (Lax)人名；(英、法、德、意、芬、匈、瑞典)拉克斯 adj. 不严格的；不严谨的
clarifier　　n. [食品] 澄清器
Tridentine　　n. 天主教徒 adj. 特伦托市的；特伦托宗教会议的
Machiavelli　　n. 马基雅弗利（意大利新兴资产阶级思想政治家，历史学家）
Edwina　　n. 埃德温娜(f.)
pause　　n. 暂停；间歇 vi. 暂停，停顿，中止；踌躇 n. (Pause)人名；(德)保泽
pruritus　　n. [皮肤] 瘙痒，瘙痒症
patrician　　n. 贵族；有教养的人 adj. 贵族的；显贵的
oubliette　　n. （只在牢顶有出口的）地下密牢
delphinium　　n. 飞燕草